Abstract interpretation

Results: 510



#Item
351Model / Ethology / Economic model / Knowledge / Mind / Interpretation / Scientific modelling / Neuroeconomics

On  the  Neural  Enrichment  of  Economic  Models:  Recasting  the   Challenge   Roberto  Fumagalli  (Junior  Professor,  University  of  Bayreuth)     Abstract:   I

Add to Reading List

Source URL: philosophy.ucsd.edu

Language: English - Date: 2014-04-04 13:54:39
352Model theory / Formal languages / Semantics / Proof theory / Dialectica interpretation / Interpretation / Intuitionistic logic / First-order logic / Well-formed formula / Logic / Mathematical logic / Intuitionism

A variant of the double-negation translation∗ Jeremy Avigad August 21, 2006 Abstract An efficient variant of the double-negation translation explains the

Add to Reading List

Source URL: www.hss.cmu.edu

Language: English - Date: 2006-10-02 14:57:52
353Philosophy of language / Mathematics / Modal logic / Philosophical logic / De dicto and de re / Quantification / Opaque context / Predicate abstraction / Interpretation / Logic / Mathematical logic / Semantics

Specific, Yet Opaque Zolt´an Gendler Szab´o Yale University [removed] Abstract. In her dissertation, Janet Fodor has argued that the quantificational force and the intensional status of certain quantifier

Add to Reading List

Source URL: pantheon.yale.edu

Language: English - Date: 2010-07-13 19:36:25
354Model theory / Deduction / Interpretation / Philosophy of mind / Entailment / Modal logic / Substitution / Universal property / Linear temporal logic / Logic / Propositional calculus / Philosophical logic

A COMPUTATIONAL LEARNING SEMANTICS FOR INDUCTIVE EMPIRICAL KNOWLEDGE KEVIN T. KELLY Abstract. This paper presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a lear

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2015-02-22 15:09:02
355Computational complexity theory / Models of computation / Quantum measurement / Quantum computer / NC / PP / Many-worlds interpretation / Hilbert space / Stochastic matrix / Theoretical computer science / Applied mathematics / Quantum mechanics

Classical Simulation Complexity of Quantum Branching Programs (extended abstract) Farid Ablayev∗ Abstract We present classical simulation techniques for measure once quantum branching programs.

Add to Reading List

Source URL: drops.dagstuhl.de

Language: English - Date: 2008-01-23 05:31:05
356

Forschungsschwerpunkt Interpretation Growing Up – Die Emanzipation des Jazz in der Schweiz 1965–1980 Abstract Erstmals wird ein zentrales Kapitel der Schweizer

Add to Reading List

Source URL: www.hkb-interpretation.ch

Language: German - Date: 2014-04-09 04:56:34
    357Modular arithmetic / Algebraic number theory / Quadratic residue / Finite fields / Galois theory / Frobenius endomorphism / Prime number / Elliptic curve / Abstract algebra / Mathematics / Number theory

    An Interpretation of some congruences concerning Ramanujan’s τ -function Jean-Pierre Serre September 11, [removed]

    Add to Reading List

    Source URL: www.fen.bilkent.edu.tr

    Language: English - Date: 2003-09-11 11:04:00
    358Analytic philosophy / Philosophy of language / Ontology / Semantics / Theories of truth / Proposition / Truth / Interpretation / Function / Logic / Philosophy / Philosophical logic

    Fundamental and derivative truths J.R.G.Williams (May 1, 2009) Abstract This paper investigates the claim that some truths are fundamentally or really true—

    Add to Reading List

    Source URL: www.personal.leeds.ac.uk

    Language: English - Date: 2009-05-01 09:15:40
    359Abstract interpretation / Galois connection / Order theory / Model theory / Galois theory / Structure / Abstract algebra / Mathematics / Algebra

    Concrete and Abstract Interpretation: Better Together Maria Jenkins Leif Andersen

    Add to Reading List

    Source URL: homes.soic.indiana.edu

    Language: English - Date: 2014-11-04 14:23:47
    360BRST quantization / Standard Model / Dirac equation / Canonical quantization / Lattice / Spin / Fermionic field / Dirac operator / Physics / Quantum field theory / Gauge theory

    A CONDENSED MATTER INTERPRETATION OF SM FERMIONS AND GAUGE FIELDS I. SCHMELZER Abstract. We present the bundle (Aff(3) ⊗ C ⊗ Λ)(R3 ), with a geometric Dirac equation on it, as a three-dimensional geometric interpret

    Add to Reading List

    Source URL: ilja-schmelzer.de

    Language: English - Date: 2013-12-20 07:51:32
    UPDATE